Continuation-passing style - PDFSEARCH.IO - Document Search Engine

Continuation-passing style
Results: 47

#	Item
21	¨ T ECHNOLOGIE K ARLSRUHER I NSTITUT F UR ¨ F UR ¨ I NFORMATIK FAKULT AT Add to Reading List Source URL: www.joachim-breitner.de Language: English - Date: 2014-10-06 15:51:37 Functional programming Subroutines Continuations Programming paradigms Continuation-passing style Data types Control flow analysis Closure Monad Software engineering Computing Computer programming
22	1 Lots of authors Static Single Assignment Book Tuesday 8th July, 2014 Add to Reading List Source URL: ssabook.gforge.inria.fr Language: English - Date: 2014-07-08 12:41:27 Computing Compiler construction Static single assignment form Register allocation Constant folding Program optimization Algorithm Continuation-passing style Data-flow analysis Compiler optimizations Software engineering Programming language theory
23	The Semantics of Scheme Control-Flow Analysis Olin Shivers School of Computer Science Carnegie Mellon Pittsburgh, Pennsylvania 15213 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:31 Functional programming Models of computation Logic in computer science Lambda calculus Programming language semantics Continuation-passing style Denotational semantics Free variables and bound variables Closure Software engineering Computing Computer programming
24	Flexible and Practical Flow Analysis for Higher-Order Programming Languages by J. Michael Ashley Submitted to the faculty of the University Graduate School Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Programming language implementation Software Theoretical computer science Compiler Algorithm Continuation-passing style Static single assignment form Program optimization Programming language Software engineering Computing Compiler construction
25	Pearls of Theory: Intensional and Extensional Aspects of Partial Evaluation Olivier Danvy Computer Science Department Aarhus University () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Functional programming Partial evaluation Standard ML Continuation-passing style Pattern matching Eval Monad Scheme Currying Software engineering Declarative programming Computing
26	An Efficient Implementation of Multiple Return Values in Scheme J. Michael Ashley R. Kent Dybvig Indiana University Computer Science Department Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Subroutines Continuation-passing style Closure Continuation Parameter Lisp Stack Tail call Scheme Software engineering Computer programming Computing
27	Scheme Flow Analysis Lastref information provides just enough information to disentangle the multiple environments that can be created over a given variable. If we had lastref information, we could, for example, correct Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Control flow Lambda calculus Subroutines Functional languages Lisp programming language Closure Lisp Continuation-passing style Scheme Software engineering Computing Computer programming
28	Writing Macros in Continuation-Passing Style Erik Hilsdale Daniel P. Friedman Computer Science Department Indiana University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Subroutines Scheme programming language Continuations Functional programming Source code Scheme Hygienic macro Call-with-current-continuation Lisp Software engineering Computer programming Computing
29	Scheme Type Recovery 1 1 Introduction Scheme is a latently typed language [R3RS]. This means that unlike statically typed languages such Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:16 Type theory Data types Functional languages Lisp programming language Cross-platform software Continuation-passing style Type safety Variable Common Lisp Software engineering Computing Programming language theory
30	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-05-11 10:19:44 Declarative programming Combinatory logic Fixed-point combinator Continuation-passing style Monad Galois connection Calculus Continuation Theoretical computer science Lambda calculus Software engineering